1. Logische und methodische Grundlagen der Programm- und Systementwicklung :
پدیدآورنده: Manfred Broy ; unter Mitarbeit von Alexander Malkis.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebraische Spezifikation,Algorithmische Programmierung,Beweis,Datenstruktur,Funktionale Programmierung,Korrektheit,Objektorientierte Programmierung,Softwareentwicklung,Softwarespezifikation,Systementwicklung
